A Representation Model of Geometrical Tolerances Based on First Order Logic
نویسندگان
چکیده
Tolerance representation models are used to specify tolerance types and explain semantics of tolerances for nominal geometry parts. To well explain semantics of geometrical tolerances, a representation model of geometrical tolerances based on First Order Logic (FOL) is presented in this paper. We first investigate the classifications of feature variations and give the FOL representations of them based on these classifications. Next, based on the above representations, we present a FOL representation model of geometrical tolerances. Furthermore, we demonstrate the effectiveness of the representation model by specifying geometrical tolerance types in an example.
منابع مشابه
Feature-Based Product Model to Support Automatic Control of Geometrical Tolerances
The growing use of “augmented” virtual product models, which not only represent the geometric information, but also collect attributes, parameters, rules and procedures, can facilitate the digital simulation of many real processes. The control process of manufactured products can take relevant advantage of such technology. In this context, an approach for the automatic virtual inspection of geo...
متن کاملPlanelet Transform: A New Geometrical Wavelet for Compression of Kinect-like Depth Images
With the advent of cheap indoor RGB-D sensors, proper representation of piecewise planar depth images is crucial toward an effective compression method. Although there exist geometrical wavelets for optimal representation of piecewise constant and piecewise linear images (i.e. wedgelets and platelets), an adaptation to piecewise linear fractional functions which correspond to depth variation ov...
متن کاملVirtual gauge representation for geometric tolerances in CAD-CAM systems
The CAD software seeks to represent the syntax of the geometric tolerances, i.e. their writing on the drawings. We propose to represent their semantics, i.e. their meaning with respect to the part. We show that the meaning of the geometric tolerances can be defined thanks to a model of virtual gauges. These gauges concern geometrical entities of the part which are represented on the three-dimen...
متن کاملOptimal intelligent control for glucose regulation
This paper introduces a novel control methodology based on fuzzy controller for a glucose-insulin regulatory system of type I diabetes patient. First, in order to incorporate knowledge about patient treatment, a fuzzy logic controller is employed for regulating the gains of the basis Proportional-Integral (PI) as a self-tuning controller. Then, to overcome the key drawback of fuzzy logic contro...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کامل